COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Plans for teaching CS226
C00004 ENDMK
C⊗;
Plans for teaching CS226

1. The blocks world is the key initial topic.

2. The students must learn to formalize.  The students must know
about mathematics relevant to epistemological adequacy, e.g.
completeness w/r to intended models.  Also problems of necessary
incompleteness.

3. The term projects should be assigned, and each student should
be interviewed on his term project.  The TA should help find
good term projects in advance.  Most likely each term project
should include axiomatizing some domain and perhaps proving
a sample problem.

Things to axiomatize

	1. Extend blocks to include
		a. multiple supports - reference Scott Fahlman
		b. restrictions on motion so as to include sequence
solitaire, tower of hanoi, and blind robot
		c. other properties of blocks like color

	2. Objects of incompletely describable shape

	3. Objects of describable shape

	4. Statics and dynamics or kinematics

	5. Continuous motion

	6. Competition and co-operation - persuasion

Bibliography
	Morgan, Yap, Prior, Sato, Hintikka, Linsky, Fahlman

Formal introduction to set theory